Formalizing Argument-based Agent Interaction in Electronic Institutions
نویسنده
چکیده
According to [NS96,ER+00], the notion of electronic institution is founded on three basic concepts: dialogical framework, performative structure and rules of behavior. The dialogical framework provides a context or environment for agent interaction. In dialog-based institutions, agents interact among each other by means of illocutions, which convey the meaning of the agents’ intentions and desires. The performative structure stipulates the communication protocol under which these interactions will take place. Dialogical actions of agents will have consequences, normally as commitments that impose constraints on actions these agents might carry out in the future. Finally, behavior rules regulate and delimitate the agents’ behavior.
منابع مشابه
Electronic Services (IT) in the Banking and Financial Institutions
This research investigates the methods for improving the quality of IT services (electronic services) in the Melli Banks branches in Mashhad province, where QFD and ANP models were operated. To this concern, three-dimensional, usability, service interaction and information quality to improve IT service quality were examined. The results of the analysis of the opinion of Melli Bank Customers ind...
متن کاملProbing Attacks on Multi-Agent Systems Using Electronic Institutions
In open multi-agent systems, electronic institutions are used to form the interaction environment by defining social norms for group behaviour. However, as this paper shows, electronic institutions can be turned against agents to breach their security in a variety of ways. We focus our attention on probing attacks using electronic institutions specified in the Lightweight Coordination Calculus ...
متن کاملVirtual institutions prototype
Virtual Institutions are Virtual Worlds with normative regulation of participants’ interactions. This paradigm is based on normative multiagent systems and is technologically supported by Electronic Institutions. In this paper we outline the prototype that illustrates the application of Electronic Institutions to the domain of Virtual Worlds. We show how both human and agent controlled avatars ...
متن کاملEngineering Open Multi-Agent Systems as Electronic Institutions
In this demo we focus on the engineering of open multi-agent systems as electronic institutions. Electronic institutions are a formalism to define the rules which structure agent interactions, establishing what agents are permitted and forbidden to do. We present a set of tools that support the specification, analysis and execution of institutions, as well as the implementation of agents. Our m...
متن کاملSteps Towards Formal Verification of Agent-based
In this preliminary report about ongoing work, we discuss the issues of formalizing the specification of interaction process types for e-business applications and identifying techniques for proving correctness properties for them. We introduce the concept of coherence for interaction processes in the broader context of multiagent communication based on agent communication languages. Interaction...
متن کامل